primitive recursive predicate

英 [ˈprɪmətɪv rɪˈkɜːsɪv ˈpredɪkət]

美 [ˈprɪmətɪv rɪˈkɜːrsɪv ˈpredɪkət]

网络  原始递归渭词; 原始递归谓词

计算机